Nuprl Definition : count
4,23
postcript
pdf
count(
P
;
L
) == reduce(
a
,
n
. if
P
(
a
)
1 else 0 fi+
n
;0;
L
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
if
b
t
else
f
fi
FDL editor aliases
count
origin
a,n. if P(a)
1 else 0 fi+n;0;L) a,n. if P(a) 1 else 0 fi+n;0;L) t else f fi